Nuprl Definition : eclrepeat
0,22
postcript
pdf
[
a
]* == inr(inr(inr(inr(inl(
a
)))))
latex
Definitions
inr(
x
)
,
inl(
x
)
FDL editor aliases
eclrepeat, eclrepeat
origin